Buy Used and New Martin Leucker Books

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings: 9399 (Lecture Notes in Computer Science)

by Martin Leucker,Camilo Rueda,Frank D. Valencia

ISBN 13: 9783319251493

Format: Paperback (644 pages)
Publisher: Springer
Published: 25 Dec 2015

Save for later

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Lecture Notes in Computer Science)

by Christian Colombo,Martin Leucker

ISBN 13: 9783030037680

Format: Paperback (484 pages)
Publisher: Springer
Published: 03 Jan 2019

Save for later

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Lecture Notes in Computer Science, 13065)

by Ezio Bartocci,Yliès Falcone,Martin Leucker

ISBN 13: 9783030873479

Format: Paperback (205 pages)
Publisher: Springer
Published: 28 Sep 2021

Save for later